Hierarchical zonotopal power ideals

Zonotopal algebra deals with ideals and vector spaces of polynomials that are related to several combinatorial and geometric structures defined by a finite sequence of vectors. Given such a sequence X , an integer k ≥ −1 and an upper set in the lattice of flats of the matroid defined by X , we define and study the associated hierarchical zonotopal power ideal. This ideal is generated by powers of linear forms. Its Hilbert series depends only on the matroid structure of X . It is related to various other matroid invariants, e. g. the shelling polynomial and the characteristic polynomial. This work unifies and generalizes results by Ardila-Postnikov on power ideals and by Holtz-Ron and Holtz-Ron-Xu on (hierarchical) zonotopal algebra. We also generalize a result on zonotopal Cox modules due to Sturmfels-Xu. Résumé. La théorie de l’algèbre “zonotopique” s’occupe d’idéaux et d’espaces vectoriels de polynômes qui ont un rapport avec plusieurs structures combinatoires et géométriques définies par des suites finies de vecteurs. Étant donné une telle suite X , un nombre entier k ≥ −1 et un ensemble supérieur dans le treillis des plans du matroı̈de défini par X , nous définissons et étudions l’idéal hiérarchique zonotopique, engendré par des puissances de formes linéaires. Sa série de Hilbert dépend seulement de la structure matroı̈dale de X . Il existe des relations avec d’autres invariants de matroı̈des, tels que le polynôme d’épluchage et le polynôme caractéristique. Ce travail unifie et généralise des résultats d’Ardila-Postnikov sur les idéaux de puissances et de Holtz-Ron et HoltzRon-Xu sur l’algèbre zonotopique (hiérarchique). Nous généralisons aussi un résultat sur les modules de Cox zonotopiques, dû à Sturmfels-Xu.